Pascal Sets (Apollo)

The Pascal type set-of is defined using the define-set-of special form:

(define-set-of type-name {element}^*) undefined syntax

where, again, type-name is just for identification, and the elements are the names of the set members. For example,

formula vobeyspaces :

!:} (define-set-of ios_$put_get_opts_t ios_$cond_opt ios_$preview_opt ios_$partial_record_opt ios_$no_rec_bndry_opt )